Curr Cardiovasc Risk Rep:1–8 DOIs12170DIABETES AND INSULIN RESISTANCE (M RUTTER, SECTION EDITOR) Text Mining Supporting Search for Knowledge Discovery

Source URL: www.nactem.ac.uk

• Computational linguistics
• Data mining
• RTT
• National Centre for Text Mining
• School of Computer Science
• University of Manchester
• Biological databases
• Text mining
• PubMed
• Biomedical text mining
• National Center for Biotechnology Information
• Unified Medical Language System
• Diabetes

Unified manipulation of interaction objects: integration, augmentation, expansion and abstraction Anthony Savidis and Constantine Stephanidis Institute of Computer Science (ICS), Foundation for Research and Technology -

Source URL: www.ui4all.gr

On Integrating Structure and Behavior Modeling with OCL Lars Hamann, Oliver Hofrichter, and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen, Germany {lhamann,hofric

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Unified Modeling Language
• Computing
• Theoretical computer science
• Object Constraint Language
• ECO
• Executable UML
• Postcondition
• State diagram
• Event
• Class diagram
• Finite-state machine

Assisted Generation of Frame Conditions for Formal Models Philipp Niemann1 1 Frank Hilken1

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Unified Modeling Language
• Computing
• Theoretical computer science
• ECO
• Postcondition
• Systems Modeling Language
• Object Process Methodology
• Modeling language
• Profile
• Class diagram
• Economic model

A Simple and Unified Method of Proving Indistinguishability (Extended Abstract) Mridul Nandi David R. Cheriton School of Computer Science, University of Waterloo, Canada

Source URL: www.isical.ac.in

Iterative Development of Transformation Models by Using Classifying Terms (short paper) Frank Hilken1 Loli Burgueño2

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Engineering
• Systems science
• Software engineering
• Model transformation
• Model theory
• Metamodeling
• Object Process Methodology
• Scientific modelling

Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi

Source URL: alfa.di.uminho.pt

• Unified Modeling Language
• Systems engineering
• Software engineering
• Computing
• Systems science
• Object Constraint Language
• Metamodeling
• Model-driven architecture
• Platform-specific model
• Object Process Methodology
• MMT
• QVT

A Unified Proof-Theoretic Framework for Classical, Intuitionistic and Linear Logics Chuck Liang Department of Computer Science, Hofstra University, Hempstead, NY 11550, US chuck.c.liang at hofstra.edu

Source URL: www.cs.hofstra.edu

A Unified Sequent Calculus for Focused Proofs Chuck Liang Hofstra University Department of Computer Science Hempstead, NY, USA Email:

Source URL: www.lix.polytechnique.fr

⇒MetaMap Home MetaMap Usage Frequently Asked Questions This document answers some common questions about using MetaMap. Please visit Download and Installation for information about those topics. These FAQ are constant

Source URL: metamap.nlm.nih.gov

• Linguistics
• Logic
• Science
• Unified Medical Language System
• Semantics
• ASCII